((:LABEL @INIT)
(:MOVE R 0)
(:LABEL @etat0)
(:INCR PTR)
(:LOAD R0 *PTR)
(:CMP R0 L)
(:JEQ @etat1)
(:CMP R0 E)
(:JEQ @echec)
(:CMP R0 A)
(:JEQ @echec)
(:CMP R0 G)
(:JEQ @etat4)
(:CMP R0 J)
(:JEQ @etat7)
(:CMP R0 H)
(:JEQ @etat10)
(:CMP R0 $)
(:JEQ @echec)
(:JMP @echec)
(:LABEL @etat1)
(:INCR PTR)
(:LOAD R0 *PTR)
(:CMP R0 L)
(:JEQ @echec)
(:CMP R0 E)
(:JEQ @etat2)
(:CMP R0 A)
(:JEQ @etat3)
(:CMP R0 G)
(:JEQ @echec)
(:CMP R0 J)
(:JEQ @echec)
(:CMP R0 H)
(:JEQ @echec)
(:CMP R0 $)
(:JEQ @echec)
(:JMP @echec)
(:LABEL @etat2)
(:INCR PTR)
(:LOAD R0 *PTR)
(:CMP R0 L)
(:JEQ @echec)
(:CMP R0 E)
(:JEQ @echec)
(:CMP R0 A)
(:JEQ @echec)
(:CMP R0 G)
(:JEQ @echec)
(:CMP R0 J)
(:JEQ @echec)
(:CMP R0 H)
(:JEQ @echec)
(:CMP R0 $)
(:JEQ @fin)
(:JMP @echec)
(:LABEL @etat3)
(:INCR PTR)
(:LOAD R0 *PTR)
(:CMP R0 L)
(:JEQ @echec)
(:CMP R0 E)
(:JEQ @echec)
(:CMP R0 A)
(:JEQ @echec)
(:CMP R0 G)
(:JEQ @echec)
(:CMP R0 J)
(:JEQ @echec)
(:CMP R0 H)
(:JEQ @echec)
(:CMP R0 $)
(:JEQ @fin)
(:JMP @echec)
(:LABEL @etat4)
(:INCR PTR)
(:LOAD R0 *PTR)
(:CMP R0 L)
(:JEQ @echec)
(:CMP R0 E)
(:JEQ @echec)
(:CMP R0 A)
(:JEQ @echec)
(:CMP R0 G)
(:JEQ @etat5)
(:CMP R0 J)
(:JEQ @echec)
(:CMP R0 H)
(:JEQ @echec)
(:CMP R0 $)
(:JEQ @echec)
(:JMP @echec)
(:LABEL @etat5)
(:INCR PTR)
(:LOAD R0 *PTR)
(:CMP R0 L)
(:JEQ @echec)
(:CMP R0 E)
(:JEQ @echec)
(:CMP R0 A)
(:JEQ @echec)
(:CMP R0 G)
(:JEQ @etat6)
(:CMP R0 J)
(:JEQ @echec)
(:CMP R0 H)
(:JEQ @echec)
(:CMP R0 $)
(:JEQ @echec)
(:JMP @echec)
(:LABEL @etat6)
(:INCR PTR)
(:LOAD R0 *PTR)
(:CMP R0 L)
(:JEQ @echec)
(:CMP R0 E)
(:JEQ @echec)
(:CMP R0 A)
(:JEQ @echec)
(:CMP R0 G)
(:JEQ @echec)
(:CMP R0 J)
(:JEQ @echec)
(:CMP R0 H)
(:JEQ @echec)
(:CMP R0 $)
(:JEQ @fin)
(:JMP @echec)
(:LABEL @etat7)
(:INCR PTR)
(:LOAD R0 *PTR)
(:CMP R0 L)
(:JEQ @echec)
(:CMP R0 E)
(:JEQ @echec)
(:CMP R0 A)
(:JEQ @echec)
(:CMP R0 G)
(:JEQ @echec)
(:CMP R0 J)
(:JEQ @etat8)
(:CMP R0 H)
(:JEQ @echec)
(:CMP R0 $)
(:JEQ @echec)
(:JMP @echec)
(:LABEL @etat8)
(:INCR PTR)
(:LOAD R0 *PTR)
(:CMP R0 L)
(:JEQ @echec)
(:CMP R0 E)
(:JEQ @echec)
(:CMP R0 A)
(:JEQ @echec)
(:CMP R0 G)
(:JEQ @echec)
(:CMP R0 J)
(:JEQ @etat9)
(:CMP R0 H)
(:JEQ @echec)
(:CMP R0 $)
(:JEQ @echec)
(:JMP @echec)
(:LABEL @etat9)
(:INCR PTR)
(:LOAD R0 *PTR)
(:CMP R0 L)
(:JEQ @echec)
(:CMP R0 E)
(:JEQ @echec)
(:CMP R0 A)
(:JEQ @echec)
(:CMP R0 G)
(:JEQ @echec)
(:CMP R0 J)
(:JEQ @echec)
(:CMP R0 H)
(:JEQ @echec)
(:CMP R0 $)
(:JEQ @fin)
(:JMP @echec)
(:LABEL @etat10)
(:INCR PTR)
(:LOAD R0 *PTR)
(:CMP R0 L)
(:JEQ @echec)
(:CMP R0 E)
(:JEQ @echec)
(:CMP R0 A)
(:JEQ @echec)
(:CMP R0 G)
(:JEQ @echec)
(:CMP R0 J)
(:JEQ @echec)
(:CMP R0 H)
(:JEQ @etat11)
(:CMP R0 $)
(:JEQ @echec)
(:JMP @echec)
(:LABEL @etat11)
(:INCR PTR)
(:LOAD R0 *PTR)
(:CMP R0 L)
(:JEQ @echec)
(:CMP R0 E)
(:JEQ @echec)
(:CMP R0 A)
(:JEQ @echec)
(:CMP R0 G)
(:JEQ @echec)
(:CMP R0 J)
(:JEQ @echec)
(:CMP R0 H)
(:JEQ @etat12)
(:CMP R0 $)
(:JEQ @echec)
(:JMP @echec)
(:LABEL @etat12)
(:INCR PTR)
(:LOAD R0 *PTR)
(:CMP R0 L)
(:JEQ @echec)
(:CMP R0 E)
(:JEQ @echec)
(:CMP R0 A)
(:JEQ @echec)
(:CMP R0 G)
(:JEQ @echec)
(:CMP R0 J)
(:JEQ @echec)
(:CMP R0 H)
(:JEQ @echec)
(:CMP R0 $)
(:JEQ @fin)
(:JMP @echec)
(:LABEL @fin)
(:MOVE R 1)
(:STOP)
(:LABEL @echec)
(:MOVE R 0)
(:STOP))
